Implementing Forth in Go and C
eli.thegreenplace.net·5h·
Discuss: Hacker News
🔗Dependently Typed
Generative Interfaces for Language Models
arxiv.org·5h
⚙️Parser Generators
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🦀Rust Macros
Teaching programming languages
kmjn.org·1d
💻Programming languages
Generating C functions and prototypes using macros – part 2
subethasoftware.com·1d
🦀Rust Macros
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Optimize Go Performance: Value vs. Pointer Types for Fewer Memory Allocations
dev.to·8h·
Discuss: DEV
🧠Memory Allocators
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·17h
⬆️Lambda Lifting
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·14h·
Discuss: Hacker News
🧮Algebraic Datatypes
Claude Code's 19 cent Parser
blogger.com·1d
🔧Binary Parsers
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·19h·
Discuss: Hacker News
⚔️Lean Tactics
Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·1d
🏗️Compiler Archaeology
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·20h
✅Format Verification
Understanding Tool-Integrated Reasoning
arxiv.org·5h
🔗Constraint Handling
shared_ptr<T>: the (not always) atomic reference counted smart pointer (2019)
snf.github.io·7h·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·3d
🔗Functional Compilers
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·15h·
Discuss: Hacker News
🦀Rust Macros
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
🔧Binary Parsers
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·18h·
Discuss: Hacker News
⚡Proof Automation